<html>
<head>
<script type="text/javascript">
function get_document()
{
  return document;
}
function test(value_987654321, value_123456789, value_awesomium)
{
  return 25417574.0;
}
</script>
</head>
<body>
</body>
</html>